
"""
    pycoopiler - a compiler developed to PCS2056 course (Compilers) at Poli-USP
    Copyright (C) 2008 Andre Felipe Santos    
    Copyright (C) 2008 Rodrigo Rodrigues da Silva

    This program is free software: you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
    the Free Software Foundation, either version 3 of the License, or
    (at your option) any later version.

    This program is distributed in the hope that it will be useful,
    but WITHOUT ANY WARRANTY; without even the implied warranty of
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
    GNU General Public License for more details.

    You should have received a copy of the GNU General Public License
    along with this program.  If not, see <http://www.gnu.org/licenses/>.
    
"""

import unittest

from pycoopiler.automaton import automaton

class testautomaton(unittest.TestCase):
    
    def test_reset(self):
        aut = automaton({(0, 'a'):'F'}, 0)
        aut.next_state('a')
        aut.reset()
        self.assertEqual(aut.current_state, 0)
        
    def test_next_state(self):
        aut = automaton({(0, 'a'):'F'}, 0)
        self.assertEqual(aut.next_state('a'), 'F')
        aut.reset()
        self.assertRaises(Exception, aut.next_state, 'b')      
        
    def test_clear(self):
        aut = automaton({(0, 'a'):'F'}, 0)
        aut.clear()
        self.assertRaises(Exception, aut.next_state, 'b')
        self.assertRaises(Exception, aut.next_state, 'a')       

    def TestSuite():
        return unittest.makeSuite(testautomaton)
    
    if __name__ == '__main__':
        unittest.main()
 
        
  